Self-referential propositions

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Self-Referential Definition of Orthogonality

There has for longer been an interest in finding equivalent conditions which define inner product spaces, and the respective literature is considerable, see for instance Amir, which lists 350 such results. Here, in this tradition, an alternative definition of orthogonality is presented which does not make use of any inner product. This definition, in the spirit of the recently developed non-wel...

متن کامل

Differential electrophysiological response during rest, self-referential, and non-self-referential tasks in human posteromedial cortex.

The electrophysiological basis for higher brain activity during rest and internally directed cognition within the human default mode network (DMN) remains largely unknown. Here we use intracranial recordings in the human posteromedial cortex (PMC), a core node within the DMN, during conditions of cued rest, autobiographical judgments, and arithmetic processing. We found a heterogeneous profile ...

متن کامل

Completely Self-referential Optimal Reinforcement Learners

We present the first class of mathematically rigorous, general, fully self-referential, self-improving, optimal reinforcement learning systems. Such a system rewrites any part of its own code as soon as it has found a proof that the rewrite is useful, where the problemdependent utility function and the hardware and the entire initial code are described by axioms encoded in an initial proof sear...

متن کامل

Gödel Machines: Fully Self-referential Optimal Universal Self-improvers

We present the first class of mathematically rigorous, general, fully self-referential, self-improving, optimally efficient problem solvers. Inspired by Kurt Gödel’s celebrated self-referential formulas (1931), such a problem solver rewrites any part of its own code as soon as it has found a proof that the rewrite is useful, where the problem-dependent utility function and the hardware and the ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Synthese

سال: 2016

ISSN: 0039-7857,1573-0964

DOI: 10.1007/s11229-016-1191-0